1. language A processor design which is not intended to be
implemented as
hardware, but which is the notional executor
of memory. It may provide instructions which are closer to
the language being compiled than any physical computer or it
may be used to make the language implementation easier to
2. theory A procedure for executing a set of instructions in
some formal language, possibly also taking in input data and
producing output. Such abstract machines are not intended to
be constructed as
hardware but are used in thought
(1995-03-13)